Merge pull request #1762 from antonio-nino-diaz-arm/an/fix-readme
authorAntonio Niño Díaz <[email protected]>
Fri, 18 Jan 2019 09:19:00 +0000 (09:19 +0000)
committerGitHub <[email protected]>
Fri, 18 Jan 2019 09:19:00 +0000 (09:19 +0000)
readme: Update list of supported platforms


Trivial merge